/*
   Copyright (c) 2011, 2012 Mizar Tools Contributors (mizartools.org)

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
*/
/*  Contributors :
 *	2011-02-18 Marco Riccardi - initial implementation
 *  2012-04-09 Marco Riccardi - added "redreg" reduction registration 
 *  and "sethood" property
 */
package org.mizartools.dli;

public enum ItemType {
	aggr, 		//Aggregate    
	attr, 		//Attribute   
	func, 		//Functor   
	mode, 		//Mode   
	pred, 		//Predicate   
	sel,  		//Selector   
	struct,  	//Structure   
	aggrnot, 	//Aggregate notation    
	attrnot, 	//Attribute notation    
	funcnot, 	//Functor notation    
	modenot, 	//Mode notation    
	prednot, 	//Predicate notation    
	selnot,  	//Selector notation    
	structnot, 	//Structure notation    
	condreg, 	//Conditional registration    
	exreg,		//Existential registration    
	funcreg,	//Term adjective registration
	idreg,      //Identify registration
	redreg,     //Reduction registration
	th,			//Regular theorem    
	def,		//Definitional theorem    
	dfs,		//Definiens      
	sch,		//Scheme
	sethood,    //sethood property
	forgnot,	// ??
	forg		// ??
}